Microsoft Word - ecir poster session final january4th.docx

Source URL: ecir.mit.edu

• Massachusetts Institute of Technology
• New England Association of Schools and Colleges
• MIT Computer Science and Artificial Intelligence Laboratory
• Artificial intelligence
• Academia
• Higher education
• Lateral pressure theory
• Association of American Universities
• Association of Independent Technological Universities
• Association of Public and Land-Grant Universities

Computational Understanding of Image Memorability Zoya Bylinskii Computer Science and Artificial Intelligence Laboratory, MIT 1.0 s

Source URL: cvcl.mit.edu

Recognizing City Identity via Attribute Analysis of Geo-tagged Images Bolei Zhou1 , Liu Liu2 , Aude Oliva1 , and Antonio Torralba1 1 Computer Science and Artificial Intelligence Laboratory

Source URL: people.csail.mit.edu

• Demographics of Newfoundland and Labrador
• Indian general election full results

A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti

Source URL: people.csail.mit.edu

• Systems engineering
• Formal methods
• Software requirements
• Quality
• Safety engineering
• Dependability
• Reliability engineering
• Problem frames approach
• Software development methodology
• Software development
• Software
• Science

Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale

Source URL: people.csail.mit.edu

• Fourier analysis
• Laplace transform
• Transforms
• ALGOL 68
• Four-square cipher
• Obfuscated code
• Mathematical analysis
• Integral transforms
• Programming language theory

Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory

Source URL: people.csail.mit.edu

• Programming paradigms
• Daniel Jackson
• Alloy Analyzer
• Alloy
• Declarative programming
• Imperative programming
• Programming language
• Constraint programming
• Computer program
• Computing
• Software engineering
• Computer programming

Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRAugust 27, 2009

Source URL: www.pmg.lcs.mit.edu

• Barbara Jane Liskov
• Women in technology
• MIT Computer Science and Artificial Intelligence Laboratory
• Closure
• Aeolus
• Computer
• T
• Software engineering
• Computing
• Greek mythology

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu

Source URL: people.csail.mit.edu

• Semantics
• Boolean algebra
• Predicate logic
• Propositional calculus
• FO
• Predicate
• Quantification
• Interpretation
• Negation
• Logic
• Mathematical logic
• Mathematics

Question Answering from the Web Using Knowledge Annotation and Knowledge Mining Techniques Jimmy Lin and Boris Katz MIT Computer Science and Artificial Intelligence Laboratory 200 Technology Square Cambridge, Massachuset

Source URL: start.csail.mit.edu

• Computational linguistics
• Natural language processing
• Question answering
• Open domain question answering
• Boris Katz
• Text Retrieval Conference
• Cyc
• Document retrieval
• Question
• Information science
• Information retrieval
• Science

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory,

Source URL: people.csail.mit.edu

• Model theory
• Semantics
• Predicate logic
• Formal languages
• Metalogic
• First-order logic
• Alloy Analyzer
• Alloy
• Integer overflow
• Logic
• Mathematical logic
• Mathematics